let id x returns y where (x = y) = x
